Qais
Quantitative analysis of interacting systems: foundations and algorithms
Cancel
Search
:
^b
Research/QAIS Web
Changed
Changed by
BisimulationsInKAT
08 Nov 2013 - 00:51 - r2
RicardoAlmeida
Constructing (Bi)simulations for KAT This page contains the source code of KAT Decider, a project which features the decision of language inclusion/equality between ...
Found
1
topics.
Copyright © by the contributing authors. Ideas, requests, problems?
Send feedback
.
Syndicate this site
RSS
ATOM